temporal model

In this paper, a new temporal model, hierarchically timed petri net ( HTPN), is proposed through incorporating the deadline constraints into TPN. Based on timed automata developed by R.

对活动增加截止期限的约束条件并验证可达情况，是人们在实际应用中对工作流系统提出的新要求。本文提出了一种基于层次时间petri网的工作流模型。

互联网摘选

This paper gives a symbolic model checking algorithm for the temporal logic CTL~.

提出了一个关于时态逻辑CTL的符号化模型检测算法。

互联网摘选

Experimental study on changes of dopaminergic neurons in substantia nigra of temporal epilepsy animal model

颞叶癫痫模型中黑质多巴胺能神经元变化的实验研究

互联网摘选

The Richard growth model is superior for describing the temporal dynamics for poplar bacterial canker disease.

冰核细菌溃疡病流行的时间动态以理查德生长模型为最优生长模型.

网络文摘精选

Results ( 1) Establishing the animal model of temporal epilepsy in rat injected by KA was successful.

结果（1）局部注射KA后颞叶癫癎大鼠模型建立成功。

互联网摘选

Changes in IL-8 、 IL-10 and S100 β Expression in the Kainic Acid Induced Rat Temporal Epilepsy Model

海人酸致癫癎大鼠白介素8、白介素10及S100β蛋白表达的改变

互联网摘选

This paper givesaabout the concept, characteristic, main technique and spatial-temporal model of Temporal GIS.

介绍了时态GIS的概念 、 特征 、 关键技术及主要时空数据模型.

互联网摘选

Objective To explore a better method to establish an animal model of temporal epilepsy in rat and study the pathological basis of permanent epilepsy sensitivity.

目的探讨立体定向手术建立大鼠颞叶癫痫模型的方法及模型永久癫痫敏感性的病理学基础。

互联网摘选

Results Physical model of the temporal bone built with paper was obtained, the accuracy of the model was ± 0.2 mm, meeting the otoneurosurgery expectation.

结果得到颞骨纸质实物模型，实物模型的精度约为±02mm，符合耳神经外科手术的要求。

互联网摘选

It is suggested that the selected temporal infarct is an ideal animal model of dementia.

结果提示选择性颞叶梗塞是一种理想的痴呆动物模型.

互联网摘选

The equations of particle velocity are deduced when the initial velocities are different for both the temporal model and the spatial model.

在考虑了时间模式的基础上进一步推导求解了空间模式下不同初始速度的固粒群的运动解析关系；

互联网摘选

Establishment of the Kainate Induced Temporal Epilepsy Model in Rat and Its Behavior and Pathology

海人酸颞叶癫痫模型的建立及其行为与病理学改变

互联网摘选